Modal logic - PDFSEARCH.IO - Document Search Engine

Modal logic
Results: 1643

#	Item
261	Using Answer Set Programming to model multi-agent scenarios involving agents’ knowledge about other’s knowledge Chitta Baral, Gregory Gelfond Tran Cao Son, Enrico Pontelli Add to Reading List Source URL: myweb.ttu.edu Language: English - Date: 2015-05-24 18:07:51 Modal logic Artificial intelligence Knowledge representation Kripke semantics Frame problem Entailment Epistemic modal logic Common knowledge Stable model semantics Logic Philosophical logic Logic programming
262	The Generalized Distributive Law and Free Energy Minimization∗ Srinivas M. Aji Rainﬁnity, Inc. 87 N. Raymond Ave. Suite 200 Pasadena, CA 91103 Add to Reading List Source URL: www.systems.caltech.edu Language: English - Date: 2001-10-09 01:03:40 Belief propagation Coding theory Probability theory Calculus of variations Flow network Vehicle Identification Number Modal logic Graph theory Mathematics Logic
263	Abstract and Concrete Norms in Institutions Davide Grossi Frank Dignum Add to Reading List Source URL: www.cs.uu.nl Language: English - Date: 2004-03-18 04:18:39 Philosophical logic Modal logic Physicalism Norm Philosophy of language Philosophy of law Deontic logic Supervenience Permission Logic Philosophy Mathematical logic
264	Intuitionistic Modal Logic: 15 Years Later... Valeria de Paiva Nuance Communications Berkeley March 2015 Add to Reading List Source URL: logic.berkeley.edu Language: English - Date: 2015-03-07 22:58:09 Non-classical logic Philosophical logic Logic in computer science Philosophy of mathematics Mathematical constructivism Modal logic Intuitionistic logic Intuitionism Curry–Howard correspondence Logic Mathematical logic Mathematics
265	XPath Typing Using a Modal Logic with Converse for Finite Trees Pierre Genev`es Nabil Laya¨ıda Alan Schmitt Add to Reading List Source URL: wam.inrialpes.fr Language: English - Date: 2006-12-17 11:49:32 Mathematical logic XML Formal languages Metalogic Interpretation First-order logic Well-formed formula Symbol XPath Logic Mathematics Model theory
266	Syllabus January 28, 2011 Philosophy 142: Philosophical Logic Professor John MacFarlane Add to Reading List Source URL: johnmacfarlane.net Language: English - Date: 2011-01-28 21:51:01 Non-classical logic Conditionals Binary operations Propositional calculus Entailment Modal logic Material conditional First-order logic Indicative conditional Logic Mathematical logic Philosophical logic
267	Quine on Modal Logic Justin Bledin March 13, 2011 1 Add to Reading List Source URL: johnmacfarlane.net Language: English - Date: 2011-03-14 02:21:00 Philosophy of language Opaque context Predicate logic Philosophical logic Function Free variables and bound variables Modal logic Referential transparency Logic Mathematics Analytic philosophy
268	Specicity and Scope Donka F. Farkas, UCSC 1. Introduction1 The notion of specicity has played a signicant role in linguistic theory both in the elds of semantics and, increasingly, in work on syntax/semantics interf Add to Reading List Source URL: people.ucsc.edu Language: English - Date: 2015-01-24 16:05:41 Logic METAR Modal logic Language Existence Noun Determiner Grammar Parts of speech Linguistics
269	Philosophy of language: quantifying in (Franklin/MacFarlane) This exam focuses on philosophical debates about quantifying in to modal and intentional contexts. 1. Frege, “On Sense and Reference” (in Martinich) 2. Rus Add to Reading List Source URL: logic.berkeley.edu Language: English - Date: 2014-08-24 16:43:20 Philosophy of language Names Meaning Philosophical logic Bertrand Russell Naming and Necessity Definite description On Denoting Propositional attitude Philosophy Analytic philosophy Linguistics
270	MATH PHOBIA, MATH TEACHING, AND THE WORLD AS SCIENCE CENTER Add to Reading List Source URL: informalscience.org Language: English - Date: 2015-04-24 11:27:40 Causality Dynamic logic Vacuous truth Logic IP Modal logic

UPDATE